Error: Andaninnitesetofnewdomainelementsandfactsmaybecreated.manyofthedecidableruleclassescomeaboutbyestablishingpropertiesaboutthechasetheycreate.finitenessofthechaseisastraightforwardcr - PowerPoint Presentations and PDF Documents